acm sigbed
|
emsoft
|
participants
Kyungmin Bae
EMSOFT 2021: 21st International Conference on Embedded Software
MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems
Kyungmin Bae
and
Peter Csaba Ölveczky
https://dl.acm.org/doi/abs/10.1145/3477036